Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
171	Differential Equations, Infinite Limits and Real Recursive Functions ´ JOSE´ FELIX COSTA∗ Instituto Superior T´ecnico Add to Reading List Source URL: fgc.math.ist.utl.pt Language: English - Date: 2008-12-02 06:06:34 Mathematical logic Theory of computation Recursion Functions and mappings Primitive recursive function Function Fold Lambda calculus Computable function Mathematics Computability theory Theoretical computer science
172	Partial Functions Approaches An Introduction to the Logic of Partial Functions Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Semantics Model theory Boolean algebra Formal methods Computability theory Interpretation Truth table First-order logic Vienna Development Method Mathematical logic Mathematics Logic
173	Theoretical Computer Science – 366 www.elsevier.com/locate/tcs Adapting innocent game models for the B#ohm tree -theory Andrew D. Ker, Hanno Nickau∗ , C.-H. Luke Ong Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2006-08-03 11:40:10 Mathematical logic Theory of computation Models of computation Formal methods Lambda calculus Computable function Determinacy Numbering Function Computability theory Mathematics Theoretical computer science
174	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:28 Theoretical computer science Computability theory Turing machine Recursion Models of computation Lambda calculus Programming language Lisp Computability Software engineering Computing Computer programming
175	Infinity in Informatics: Endless Loops Motivations for Working on Scientific Problems ∞ Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2009-11-19 06:56:20 Philosophy of mathematics Theory of computation Computability theory Algorithm Mathematical logic Infinity Halting problem Actual infinity PP Mathematics Theoretical computer science Applied mathematics
176	Jack H. Lutz - Short CV Current position: Professor of Computer Science, Iowa State University (Assistant Professor; Associate Professor; Professor 1996-present) Professor of Mathematics Faculty Membe Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2015-04-12 22:23:22 Computer science Computability in Europe Algorithmic information theory Randomness Mathematical logic Computability Algorithm Computational complexity theory DNA computing Theoretical computer science Applied mathematics Mathematics
177	Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions? Jasmin Christian Blanchette Institut für Informatik, Technische Universität München, Germany blandontspamme chette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-02-19 17:14:13 Model theory Computability theory Functions and mappings Models of computation Lambda calculus Theoretical computer science Primitive recursive function Interpretation Function Mathematical logic Mathematics Logic
178	The Ackermann Award 2005 Erich Gr¨ adel, Janos Makowsky, and Alexander Razborov Members of EACSL Jury for the Ackermann Award The Ackermann Award Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:16 Automated theorem proving Computability theory Theory of computation Computational complexity theory Logic in computer science Alexander Razborov Wilhelm Ackermann Decidability First-order logic Theoretical computer science Mathematics Logic
179	Robin D. Tucker-Drob Contact Information Robin Tucker-Drob Rutgers University Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2014-11-07 10:25:08 Alexander S. Kechris Mathematical logic John von Neumann Ergodic theory Computability theory Descriptive set theory Mathematics Science Academia
180	On the computational content of the Lawson topology Fr´ed´eric De Jaeger DI, Ecole Normale Sup´erieure, Paris ´ Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2005-07-19 08:48:33 Theoretical computer science Mathematical logic Recursively enumerable set Recursive set Enumeration Topology Continuous function Numbering Subbase Mathematics Computability theory Theory of computation

UPDATE